Symbolic execution - PDFSEARCH.IO - Document Search Engine

Symbolic execution
Results: 153

#	Item
51	KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Constraint programming Abstract interpretation Symbolic execution Constraint satisfaction problem Paul Klee
52	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Software testing Reference Constraint satisfaction problem Const Parameter Concolic testing Constraint logic programming
53	OpenStack networking for humans: symbolic execution to the rescue Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu University Politehnica of Bucharest Email: Add to Reading List Source URL: nets.cs.pub.ro Language: English - Date: 2016-05-10 04:52:03 Computer network security Network architecture Local area networks Cloud infrastructure Ethernet OpenStack Open vSwitch Virtual LAN Firewall Network virtualization Network address translation Network switch
54	Parallelizing userdefined aggregations using symbolic execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2016-01-17 05:48:35
55	Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer, Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming C Computing Data types Assertion Debugging Const Sizeof Symbolic execution
56	Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-09-07 10:07:51 Computing Concurrent computing Software Parallel computing Apache Software Foundation Distributed computing architecture MapReduce Hadoop Symbolic execution Apache Spark KeY Symbolic computation
57	How is Dynamic Symbolic Execution Different from Manual Testing?  An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky University of Texas at San Antonio Add to Reading List Source URL: issta2015.cs.uoregon.edu Language: English - Date: 2015-07-17 15:27:25
58	Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution Xiangyang Jia (Wuhan University) Carlo Ghezzi (Politecnico di Milano) Shi Ying (Wuhan University) Add to Reading List Source URL: issta2015.cs.uoregon.edu Language: English - Date: 2015-07-17 10:41:51
59	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Programming language theory Abstract interpretation Symbolic execution Program analysis KeY Disassembler Pattern matching Forth Symbolic Concolic testing
60	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2016-04-13 09:07:44